On the Improvement of Estelle Based Automatic Implementations
نویسندگان
چکیده
The main challenges for the tools which derive implementations from formal descriptions are to enhance the efficiency and facilitate the integration in various implementation contexts. We study in this paper the Estelle based implementations. Using the Estelle Development Toolset (EDT), we obtained a realistic implementation of a complex transport protocol, XTP 4.0, functionally comparable with the handcoded reference implementation. This offered an experimental ground for a survey concerning the automated implementation. Based on runtime measurements, analysis of the Estelle model and of the tool's support, we studied the factors influencing the performance and the solutions to improve it.
منابع مشابه
On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications
Implementations automatically derived from formal descriptions often do not fulfill the performance requirements of real-life applications. There are several reasons for this. In the paper, we address two of these issues for the FDT Estelle. The first issue has to do with the impact of the Estelle semantics on the code generation. We show that a performance gain can be achieved, if the module a...
متن کاملREIHE INFORMATIK 5/95 On the Suitability of Estelle for Multimedia Systems
Formal Description Techniques have been widely used for the speci cation of traditional networked applications. They have not been applied to the speci cation of new applications such as multimedia systems yet. In this paper, we examine the FDT Estelle with respect to its suitability for multimedia system speci cation and automatic derivation of e cient implementations. We show that it is possi...
متن کاملOn the suitability of Estelle for multimedia systems
Formal Description Techniques have been widely used for the speciication of traditional networked applications. They have not been applied to the speciication of new applications such as multimedia systems yet. In this paper, we examine the FDT Estelle with respect to its suitability for multimedia system speciication and automatic derivation of eecient implementations. We show that it is possi...
متن کاملImprovement of generative adversarial networks for automatic text-to-image generation
This research is related to the use of deep learning tools and image processing technology in the automatic generation of images from text. Previous researches have used one sentence to produce images. In this research, a memory-based hierarchical model is presented that uses three different descriptions that are presented in the form of sentences to produce and improve the image. The proposed ...
متن کاملImprovement of the Reliability of Automatic Manufacture Systems by Using FTA Technique
In recent years, Many manufacturing industries for promoting their efficiency have tended to use the automatic manufacturing systems. Expanding automatic systems and to increase their complexity are representing the necessity of studying a proper functional quality and using reliable equipment in such systems more than ever. In this direction, the technique of fault tree analysis (FTA), along w...
متن کامل